Description logic

Results: 846



#Item
21A Connection Method for the Description Logic ALC Fred Freitas Informatics Center, Federal University of Pernambuco (CIn - UFPE), Brazil 1 Introduction

A Connection Method for the Description Logic ALC Fred Freitas Informatics Center, Federal University of Pernambuco (CIn - UFPE), Brazil 1 Introduction

Add to Reading List

Source URL: ceur-ws.org

- Date: 2011-06-26 10:24:10
    22Belief Contraction for the Description Logic EL Zhi Qiang Zhuang and Maurice Pagnucco ARC Centre of Excellence for Autonomous Systems and National ICT Australia, School of Computer Science and Engineering, The University

    Belief Contraction for the Description Logic EL Zhi Qiang Zhuang and Maurice Pagnucco ARC Centre of Excellence for Autonomous Systems and National ICT Australia, School of Computer Science and Engineering, The University

    Add to Reading List

    Source URL: ceur-ws.org

    - Date: 2009-07-07 04:46:34
      23Unification in the Description Logic EL without the Top Concept Franz Baader1? , Nguyen Thanh Binh2 , Stefan Borgwardt1? , and Barbara Morawska1? 1

      Unification in the Description Logic EL without the Top Concept Franz Baader1? , Nguyen Thanh Binh2 , Stefan Borgwardt1? , and Barbara Morawska1? 1

      Add to Reading List

      Source URL: ceur-ws.org

      - Date: 2011-06-26 10:20:40
        24Modeling Structure in Description Logic Henson Graves, Yvonne Bijan Algos Associates, 2829 West Cantey Street, Fort Worth, TXUnited States

        Modeling Structure in Description Logic Henson Graves, Yvonne Bijan Algos Associates, 2829 West Cantey Street, Fort Worth, TXUnited States

        Add to Reading List

        Source URL: ceur-ws.org

        - Date: 2011-06-28 16:39:59
          25Proc. 23rd Int. Workshop on Description Logics (DL2010), CEUR-WS 573, Waterloo, Canada, Logic for Modeling Product Structure Henson Graves Lockheed Martin Aeronautics Company Fort Worth Texas, USA

          Proc. 23rd Int. Workshop on Description Logics (DL2010), CEUR-WS 573, Waterloo, Canada, Logic for Modeling Product Structure Henson Graves Lockheed Martin Aeronautics Company Fort Worth Texas, USA

          Add to Reading List

          Source URL: ceur-ws.org

          - Date: 2010-04-20 14:40:19
            26A Matter of Principles: Towards the Largest DLP Possible⋆ Markus Krötzsch and Sebastian Rudolph Institut AIFB, Universität Karlsruhe, DE Abstract. Description Logic Programs (DLP) have been described as a descriptio

            A Matter of Principles: Towards the Largest DLP Possible⋆ Markus Krötzsch and Sebastian Rudolph Institut AIFB, Universität Karlsruhe, DE Abstract. Description Logic Programs (DLP) have been described as a descriptio

            Add to Reading List

            Source URL: ceur-ws.org

            - Date: 2009-07-07 04:46:34
              27Proc. 23rd Int. Workshop on Description Logics (DL2010), CEUR-WS 573, Waterloo, Canada, An Algebraic Approach to Dynamic Epistemic Logic Prakash Panangaden1 , Caitlin Phillips1 , Doina Precup1 , and Mehrnoosh Sadr

              Proc. 23rd Int. Workshop on Description Logics (DL2010), CEUR-WS 573, Waterloo, Canada, An Algebraic Approach to Dynamic Epistemic Logic Prakash Panangaden1 , Caitlin Phillips1 , Doina Precup1 , and Mehrnoosh Sadr

              Add to Reading List

              Source URL: ceur-ws.org

              - Date: 2010-04-20 14:40:19
                28Collective Classication in Semantic Mapping with a Probabilistic Description Logic 1 2

                Collective Classication in Semantic Mapping with a Probabilistic Description Logic 1 2

                Add to Reading List

                Source URL: ceur-ws.org

                - Date: 2011-06-26 10:23:25
                  29Unification in the Description Logic EL Franz Baader and Barbara Morawska? Theoretical Computer Science, TU Dresden, Germany {baader,morawska}@tcs.inf.tu-dresden.de Abstract. The Description Logic EL has recently drawn

                  Unification in the Description Logic EL Franz Baader and Barbara Morawska? Theoretical Computer Science, TU Dresden, Germany {baader,morawska}@tcs.inf.tu-dresden.de Abstract. The Description Logic EL has recently drawn

                  Add to Reading List

                  Source URL: ceur-ws.org

                  - Date: 2009-07-07 04:46:34
                    30Proc. 23rd Int. Workshop on Description Logics (DL2010), CEUR-WS 573, Waterloo, Canada, On the feasibility of Description Logic knowledge bases with rough concepts and vague instances C. Maria Keet KRDB Research C

                    Proc. 23rd Int. Workshop on Description Logics (DL2010), CEUR-WS 573, Waterloo, Canada, On the feasibility of Description Logic knowledge bases with rough concepts and vague instances C. Maria Keet KRDB Research C

                    Add to Reading List

                    Source URL: ceur-ws.org

                    - Date: 2010-04-20 14:40:20